$\forall$$n$:$\mathbb{N}$, $x$, $y$:\{0..$n$$^{-}$\}. $x$ before $y$ $\in$ upto($n$) $\Leftarrow\!\Rightarrow$ ($x$ $<$ $y$)